-
1 счетная модель
countable model мат., enumerable model, enumerable theoryРусско-английский научно-технический словарь Масловского > счетная модель
-
2 счётная модель
Mathematics: countable model, denumerable model, enumerable model, enumerable theory
См. также в других словарях:
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… … Wikipedia
model — mod‧el [ˈmɒdl ǁ ˈmɑːdl] noun 1. [countable] a particular type or design of a vehicle or machine: • the cheapest model in the Volkswagen range • Our photocopier is the latest model. see also brand1, make2 … Financial and business terms
model — I UK [ˈmɒd(ə)l] / US [ˈmɑd(ə)l] noun [countable] Word forms model : singular model plural models *** 1) a small copy of something such as a building, vehicle, or machine model of: a model of the Eiffel Tower working model: a working model of a… … English dictionary
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Non-standard model of arithmetic — In mathematical logic, a nonstandard model of arithmetic is a model of (first order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers {0, 1, 2, …}. The elements… … Wikipedia
Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… … Wikipedia
Saturated model — There is an unrelated notion of saturated model in the context of structural equation modeling. In mathematical logic, and particularly in its subfield model theory, a saturated model M is one which realizes as many complete types as may be… … Wikipedia
Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… … Wikipedia
Core model — In set theory, the core model is a definable inner model of the universe of all sets. Even though set theorists refer to the core model , it is not a uniquely identified mathematical object. Rather, it is a class of inner models that under the… … Wikipedia
Inner model — In mathematical logic, suppose T is a theory in the language :L = langle in angleof set theory.If M is a model of L describing a set theory and N is a class of M such that : langle N, in M, cdots angle is a model of T containing all ordinals of M … Wikipedia